Leveraging Applications of Formal Methods, Verification, and Validation (Communications in Computer and Information Science)
by Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen
ISBN 13: 9783642347801
Format: Paperback (276 pages) Publisher: Springer Published: 12 Oct 2012
Save for later